Let φ be a ring homomorphism from R to S. Then the mapping from R/Ker φ to φ(R), given by r + Ker φ → φ(r) is an isomorphism. In symbols, R/Ker φ ≈ φ(R).